Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
نویسندگان
چکیده
منابع مشابه
Bisimilarity Enforcing Supervisory Control for Deterministic Specifications
This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence ...
متن کاملEnforcing Liveness via Supervisory Control in Discrete Event Dynamic Systems Modeled by Completely Controlled Petri Nets
We consider discrete-state plants represented by a class of Controlled Petri nets (cf. 3, 4]) where every transition is individually controllable. We refer to such models as Completely Controlled Petri nets (CCPNs). For these models, a supervisory policy is an implicitly deened table that lists the transitions permitted to re for each reachable marking. A transition in a CCPN is state-enabled a...
متن کاملChecking and Enforcing Security through Opacity in Healthcare Applications
The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT in health care against interference, including service attacks and malwares, is challenging. Opacity is a confidentiality property capturing a system’s ability to keep a subset of its behavior hidden from passive obs...
متن کاملEnforcing opacity of regular predicates on modal transition systems
Given a labelled transition system LTS partially observed by an attacker, and a regular predicate Sec over the runs of LTS, enforcing opacity of the secret Sec in LTS means computing a supervisory controller K such that an attacker who observes a run of K/LTS cannot ascertain that the trace of this run belongs to Sec based on the knowledge of LTS and K. We lift the problem from a single labelle...
متن کاملEnhancement of Robust Tracking Performance via Switching Supervisory Adaptive Control
When the process is highly uncertain, even linear minimum phase systems must sacrifice desirable feedback control benefits to avoid an excessive ‘cost of feedback’, while preserving the robust stability. In this paper, the problem of supervisory based switching Quantitative Feedback Theory (QFT) control is proposed for the control of highly uncertain plants. According to this strategy, the unce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2012
ISSN: 0018-9286,1558-2523
DOI: 10.1109/tac.2011.2170453